- vollfreie Variable
- вполне свободная переменная
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Vollfreie Variable — Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist. Die Unterscheidung zwischen freien und vollfreien… … Deutsch Wikipedia
Variable (Logik) — Variable bezeichnet in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.[1] Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“[2] und sind… … Deutsch Wikipedia
Freie Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Gebundene Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Freie Variable und gebundene Variable — In der Mathematik und Logik bezeichnet man eine Variable als in einer Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operator (Mathematik)s auftritt. Sind hingegen alle Vorkommen der Variable… … Deutsch Wikipedia
Aussagenvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… … Deutsch Wikipedia
Prädikatvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… … Deutsch Wikipedia
Gebundene Umbenennung — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Geschlossene Formel — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Vollfrei — Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist. Die Unterscheidung zwischen freien und vollfreien… … Deutsch Wikipedia